Priv.-Doz. Dr. Peter Thiemann

Grundlagen der funktionalen Programmierung (V3+▄2)

Termin

variabel

Turnus

unregelmΣßig (Sommersemester)

Prⁿfungsfach

Theoretische Informatik

Inhalt

Die funktionale Programmierung ist einer der zukunftstrΣchtigen Programmierstile. In funktionalen Programmiersprachen sind Funktionen gleichberechtigte Datenobjekte, sie k÷nnen als Parameter ⁿbergeben werden, Resultate von Funktionsaufrufen sein und in Datenstrukturen abgelegt werden. Da Seiteneffekte (VerΣndern von globalen Variablen) nicht m÷glich sind, ist es einfach, funktionale Programme zu parallelisieren, zu verifizieren und sie korrekt zu optimieren. Zur Gliederung der Vorlesung:

Programmierung mit Funktionen: Funktionale Programmiersprachen, die Sprache Gofer, Algebren, Semantik von Datentypen, Verifikation, Induktion, Programmkalkulation, Polymorphie, Objekte h÷heren Typs, Typinferenz, Unendliche Objekte, Fallstudien, ▄berblick ⁿber funktionale Programmiersprachen.
Berechnungsmodelle funktionaler Sprachen: Denotationelle Semantik, Reduktionssemantik, Rekursive Programme, Maschinenmodelle zur Ausfⁿhrung rekursiver Programme, Lambda-Kalkⁿl als funktionale Programmiersprache, SECD-Maschine, SKI-Kombinatorreduktion.

Prof. Herbert Klaeren

Last modified: Wed Apr 23 16:01:11 MST 1997